Compact and Eecient Presentation Conversion Code
نویسنده
چکیده
Presentation conversion is a key operation in any development environment for distributed applications, such as Corba, Java-RMI, DCE or ASN.1-based environments. It is also well-known performance bottleneck in high-speed network communication. Presentation conversion code is usually generated by an automatic code generation tool referred to as stub compiler. The quality of the code generated by a stub compiler is often very low. The code is either very slow, or has a large code size, or both. This paper describes the design and experimental evaluation of an optimization stage for a stub compiler. The optimization stage automates the trade-oo between code size and execution speed of the code generated by the compiler. This is achieved by using a hybrid of two implementation alternatives for presentation conversion routines (interpreted and procedure-driven code). The optimization problem is modeled as a Knapsack problem. A Markov model in combination with a heuristic branch predic-tor is used for estimating execution frequencies. The optimization stage is added to the ASN.1 compiler Mavros. Experimental evaluation of this implementation shows that by investing only 25% of the code size of fully optimized code, a performance improvement of 55% to 68% can be achieved.
منابع مشابه
Compact and Efficient Presentation Conversion Routines
Presentation conversion is a key operation in any development environment for distributed applications, such as Corba, Java-RMI, DCE or ASN.1-based environments. It is also well-known performance bottleneck in high-speed network communication. Presentation conversion code is usually generated by an automatic code generation tool referred to as stub compiler. The quality of the code generated by...
متن کاملAutomatic Generation of Optimized Code for Marshalling Routines
We describe a new approach to the automatic generation of marshalling code which results in code that is fast and compact at the same time. The key insight behind our work is that certain types in an interface specification occur more often than others at run-time. We exploit this locality to solve a particularily difficult optimization problem in stub generators, namely the trade-off between c...
متن کاملEecient Representation and Validation of Proofs
This paper presents a logical framework derived from the Edinburgh Logical Framework (LF) 5] that can be used to obtain compact representations of proofs and eecient proof checkers. These are essential ingredients of any application that manipulates proofs as rst-class objects, such as a Proof-Carrying Code 11] system, in which proofs are used to allow the easy validation of properties of safet...
متن کاملSynthesis of Area - E cient andHigh - Throughput Rate
We propose two design methodologies for synthesis of area-eecient Data Format Converters (DFCs) with high throughput rate. DFCs are grouped into various classes according to the speciication of design parameters. The rst design methodology is suitable for design of many representative classes of DFCs. The designs using this methodology are based on a two-dimensional architecture. They have maxi...
متن کاملCalculation of airkerma conversion factor to personal dose equivalent at various depths using the Monte Carlo Code GATE
Several studies have been done with the aim of improving the quality of the radiation protection measurement in radiology and nuclear medicine. Among different subjects which are capable to be considered in this area, the measurement of the operational quantities of protection against the radiation ,such as, personal dose equivalent ,HP(d), at different depths (d=0.07mm, 3mm, 10mm) is an impor...
متن کامل